#leaderboard {
	padding-left: 4px;
	padding-right: 2px;
	padding-top: 8px;
	padding-bottom: 8px;
	
	display: block;
	
	background: rgb(233,208,175);	/* burlywood-ish */
	border-radius: 4px;
}

#leaderboard .leaderboard_title {
	font-size: large;
	font-weight: bold;
	margin-top: 4px;
	text-align: center;
}

#leaderboard  > ol {
	margin: 0;
	margin-top: 12px;
	
	padding: 0;
	list-style-type: decimal;
	list-style-position:inside;
}

#leaderboard li > dl {
	margin: 0;
	margin-bottom: 0.6em;
}

#leaderboard dt {
	font-weight: bold;
}

#leaderboard dd {
	display: block;
	margin-left: 1.5em;
	
	overflow: hidden;
	text-overflow: ellipsis;
}

#leaderboard .leaderboard_portfolio {
	font-style: italic;
}